php - json_encode 在 Windows 上返回整数值，在 Linux 上返回字符串